widget: Update accessible state

The sensitive property corresponds to the accessible
property disabled, so update it when sensitivity
changes.

diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index e02699a336451dcb8efe871942138af307a81f1d..776b96034197037ebc7a945a187f7269b21d2ab4 100644 (file)
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -5583,6 +5583,10 @@ gtk_widget_set_sensitive (GtkWidget *widget,
         }
     }
 
+  gtk_accessible_update_state (GTK_ACCESSIBLE (widget),
+                               GTK_ACCESSIBLE_STATE_DISABLED, !sensitive,
+                               -1);
+
   if (priv->parent == NULL
       || gtk_widget_is_sensitive (priv->parent))
     {